Automated reasoning and equation solving with the characteristic set method 基于特征列方法的自动推理与方程求解
Alti1ough neuial network gets a satistw soluhon of prob1em , it is not deted to use ned ned solving problem of automated reasoning 尽管神经网络寻找到的解是一个满意解,但这不影响我们考虑将神经网络技术应用于自动推理理论与方法中。
In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning 本文在对命题逻辑系统的模型推理和归结原理研究的基础上,尝试利用神经网络部分实现自动推理。
Engineers have yet to solve fundamental problems involving robotic perception and world modeling , automated reasoning , manipulation of objects and locomotion 工程师还有很多根本的问题尚未解决,包括机器人的知觉、如何建立周遭环境的模型、自动推理、物品操作和行进方式等。
It can be extended to fuzzy logic systems and some lattice - valued logic systems . 3 . the study on automated reasoning a new automated reasoning method based on path searching was proposed 2 、提出一种利用神经逻辑单元动态地构造神经网络的算法来对一些逻辑系统中的逻辑公式的真值进行计算。
Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically.